axiomatic specification

[計] 公理說明,公理描述